A METHOD OF SUPERVISION MANAGEMENT DESIGN FOR DISCRETE-EVENT SYSTEMS 

Dubinin Viktor Nikolaevich, Candidate of engineering sciences, associate professor, sub-department of computer science, Penza State University, victor_n_dubinin@yahoo.com 

519.714 

In the paper a technique for the design of supervisors for the avoidance of forbidden states for uncontrolled (plant) and controlled discrete event systems is proposed. Problems of forward and backward search and a navigation in the state space as well as a computation of steps in a linear structure are considered. The paper touches upon questions of the implementation of safety systems too. For the illustration of the suggested technique an example of a two-pushers system is given. 

discrete event systems, supervisory control, net condition/event systems, forbidden marking, design technique, linear step, partial marking, pusher, reachability graph of critical markings.